Issue1609a.agda:3,19-19
Issue1609a.agda:3,19: A type signature cannot have a where clause
<EOF><ERROR>
...
